CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 7 of 7 Results
1.
Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014,...
Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014,... by Ait Ameur, Yamine, Schewe, ... ISBN: 9783662436516 List Price: $84.00
$52.33 (Save 37%)
2.
ABZ 2014: the Landing Gear Case Study : Case Study Track, Held at the 4th International Conf...
ABZ 2014: the Landing Gear Case Study : Case Study Track, Held at the 4th International Conf... by Boniol, Frederic, Wiels, Vi... ISBN: 9783319075112 List Price: $69.99
$51.31 (Save 26%)
3.
Abstract State Machines, Alloy, B, Tla, VDM, and Z : 4th International Conference, Abz 2014,...
Abstract State Machines, Alloy, B, Tla, VDM, and Z : 4th International Conference, Abz 2014,... by Ait Ameur, Yamine, Schewe, ... ISBN: 9783662436530 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
4.
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems ...
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems ... by Ait-Ameur, Yamine, Nakajima... ISBN: 9789811550560
$100.24
5.
Implicit and Explicit Semantics Integration in Proof Based Developments of Discrete Systems ...
Implicit and Explicit Semantics Integration in Proof Based Developments of Discrete Systems ... by Ait-Ameur, Yamine, Nakajima... ISBN: 9789811550539 List Price: $139.99
$101.14 (Save 27%)
6.
Formal Methods and Software Engineering: 21st International Conference on Formal Engineering...
Formal Methods and Software Engineering: 21st International Conference on Formal Engineering... by Ait-Ameur, Yamine, Qin, She... ISBN: 9783030324087 List Price: $99.99
$51.31 (Save 48%) $28.79 (Save 71%)
7.
Abz 2014 : The Landing Gear Case Study: Case Study Track, Held at the 4th International Conf...
Abz 2014 : The Landing Gear Case Study: Case Study Track, Held at the 4th International Conf... by Boniol, Frederic, Wiels, Vi... ISBN: 9783319075136 List Price: $24.99

OUT OF STOCK

See Availability on Amazon